A brief overview of the system S5 in modal logic as defined by Brian F. Chellas, author of "Modal Logic: An Introduction." The history and usage of modal logic are given mention, along with some applications. Very much a draft. Written for PhileInSophia on July 5, 2021.

Multidimensional concepts are everywhere, and they are important. Examples include moral value, welfare, scientific confirmation, democracy, and biodiversity. How, if at all, can we aggregate the underlying dimensions of a multidimensional concept F to yield verdicts about which things are Fer than which overall? Social choice theory can be used to model and investigate this aggregation problem. Here, we focus on a particularly thorny problem made salient by this social choice-theoretic framework: the underlying dimensions of a given concept might be (...) measurable on different types of scales—e.g., some ordinal and some cardinal. An underappreciated impossibility theorem due to Anna Khmelnitskaya shows that seemingly plausible constraints on aggregation across scale types are inconsistent. This impossibility threatens to render the notion of overall Fness incoherent. We attempt to defuse this threat, arguing that the impossibility depends on an overly restrictive conception of measurement and of how measurement constrains aggregation. Adopting a more flexible—and, we think, more perspicuous—conception of measurement opens an array of possibilities for aggregation across disparate scale types. (shrink)

F-relevant respects are never precisely defined, but the intuitive idea is clear enough. Smart- relevant respects are mental abilities, Philosopher-relevant respects presumably include where one is employed, what kinds of things one writes, etc, and, most importantly for this paper, the only Tall-relevant respect is height.

P. F. Strawson's influential article "Freedom and Resentment" has been much commented on, and one of the most trenchant commentaries is Rajendra Prasad's, "Reactive Attitudes, Rationality, and Determinism." In his article, Prasad contests the significance of the reactive attitude over a precise theory of determinism, concluding that Strawson's argument is ultimately unconvincing. In this article, I evaluate Prasad's challenges to Strawson by summarizing and categorizing all of the relevant arguments in both Strawson's and Prasad's pieces. -/- Strawson offers four types (...) of arguments to demonstrate that determinism and free agency cannot be incompatible, showing that the reactive attitude is natural and desirable and the objective attitude is not natural, not desirable, not sustainable, and not compatible with the reactive attitude. Prasad targets Strawson's incompatibilist arguments, showing that determinism and free agency are incompatible. Of Prasad's seven types of arguments, four target Strawson's four above. Three of these succeed and one fails. The remaining three target Strawson's support of the reactive attitude, and of these, one succeeds, and the others fail. Although Prasad's arguments miss the mark at times, he does succeed in putting forth a legitimate challenge to Strawson's notion that determinism is no inhibitor of the reactive attitude. (shrink)

Multidimensional adjectives are ubiquitous in natural language. An adjective F is multidimensional just in case whether F applies to an object or pair of objects depends on how those objects stand with respect to multiple underlying dimensions of F-ness. Developing a semantics for multidimensional adjectives requires us to address the problem of dimensional aggregation: how do the application conditions of an adjective F in its positive and comparative forms depend on its underlying dimensions? Here we develop a semantics for multidimensional (...) adjectives that incorporates aggregation functions. We then explore an analogy between dimensional aggregation and preference aggregation, bringing results from social choice theory to bear on the number and kind of aggregation functions that are admissible in a context. These results suggest that, for any given adjective, there will often be multiple aggregation functions admissible, meaning that multidimensional comparatives are often vague. (shrink)

A very simple contextualist treatment of a sentence containing an epistemic modal, e.g. a might be F, is that it is true iff for all the contextually salient community knows, a is F. It is widely agreed that the simple theory will not work in some cases, but the counterexamples produced so far seem amenable to a more complicated contextualist theory. We argue, however, that no contextualist theory can capture the evaluations speakers naturally make of sentences containing epistemic modals. If (...) we want to respect these evaluations, our best option is a relativist theory of epistemic modals. On a relativist theory, an utterance of a might be F can be true relative to one context of evaluation and false relative to another. We argue that such a theory does better than any rival approach at capturing all the behaviour of epistemic modals. (shrink)

According to a view that goes by “Humeanism,” causal facts supervene on patterns of worldly entities. The simplest form of Humeanism is the constant conjunction theory: a particular type-F thing causes a particular type-G thing iff (i) that type-Fis conjoined with that type-G thing and (ii) all F’s are conjoined with G’s. The constant conjunction theory implies that all causation is extrinsic, in the following sense: for all positive causal facts pertaining to each possible region,it’s extrinsic to that region that (...) those causal facts pertain to it. Actual Humeans don’t accept the constant conjunction theory; they accept more sophisticated versions of Humeanism. But I argue that they, too, are committed to the thesis that all causation is extrinsic. In arguing for this claim,I use a discussion from Brian Weatherson as a springboard. Weatherson argues that on a plausible Humean view, some regions are such that all of their possible duplicates have the same or similar natural laws. I show that this is false. If Humeanism is true, then for every possible region, there are possible duplicates of that region with utterly alien natural laws. As a consequence, no causal facts pertain intrinsically to any region. (shrink)

During the last decades, many cognitive architectures (CAs) have been realized adopting different assumptions about the organization and the representation of their knowledge level. Some of them (e.g. SOAR [35]) adopt a classical symbolic approach, some (e.g. LEABRA[ 48]) are based on a purely connectionist model, while others (e.g. CLARION [59]) adopt a hybrid approach combining connectionist and symbolic representational levels. Additionally, some attempts (e.g. biSOAR) trying to extend the representational capacities of CAs by integrating diagrammatical representations and reasoning are (...) also available [34]. In this paper we propose a reflection on the role that Conceptual Spaces, a framework developed by Peter G¨ardenfors [24] more than fifteen years ago, can play in the current development of the Knowledge Level in Cognitive Systems and Architectures. In particular, we claim that Conceptual Spaces offer a lingua franca that allows to unify and generalize many aspects of the symbolic, sub-symbolic and diagrammatic approaches (by overcoming some of their typical problems) and to integrate them on a common ground. In doing so we extend and detail some of the arguments explored by G¨ardenfors [23] for defending the need of a conceptual, intermediate, representation level between the symbolic and the sub-symbolic one. In particular we focus on the advantages offered by Conceptual Spaces (w.r.t. symbolic and sub-symbolic approaches) in dealing with the problem of compositionality of representations based on typicality traits. Additionally, we argue that Conceptual Spaces could offer a unifying framework for interpreting many kinds of diagrammatic and analogical representations. As a consequence, their adoption could also favor the integration of diagrammatical representation and reasoning in CAs. (shrink)

We live in a world of crowds and corporations, artworks and artifacts, legislatures and languages, money and markets. These are all social objects — they are made, at least in part, by people and by communities. But what exactly are these things? How are they made, and what is the role of people in making them? In The Ant Trap, Brian Epstein rewrites our understanding of the nature of the social world and the foundations of the social sciences. Epstein (...) explains and challenges the three prevailing traditions about how the social world is made. One tradition takes the social world to be built out of people, much as traffic is built out of cars. A second tradition also takes people to be the building blocks of the social world, but focuses on thoughts and attitudes we have toward one another. And a third tradition takes the social world to be a collective projection onto the physical world. Epstein shows that these share critical flaws. Most fundamentally, all three traditions overestimate the role of people in building the social world: they are overly anthropocentric. Epstein starts from scratch, bringing the resources of contemporary metaphysics to bear. In the place of traditional theories, he introduces a model based on a new distinction between the grounds and the anchors of social facts. Epstein illustrates the model with a study of the nature of law, and shows how to interpret the prevailing traditions about the social world. Then he turns to social groups, and to what it means for a group to take an action or have an intention. Contrary to the overwhelming consensus, these often depend on more than the actions and intentions of group members. (shrink)

Humean supervenience is the conjunction of three theses: Truth supervenes on being, Anti‐haecceitism, and Spatiotemporalism. The first clause is a core part of Lewis's metaphysics. The second clause is related to Lewis's counterpart theory. The third clause says there are no fundamental relations beyond the spatiotemporal, or fundamental properties of extended objects. Supervenience is classified into strong modal Humean supervenience, local modal Humean supervenience and familiar modal Humean supervenience which states that: for any two "worlds like ours", if the spatiotemporal (...) distribution of fundamental qualities is the same at each world, the contingent facts are also the same. The fact that quantum mechanics raises problems for Humean supervenience does not undercut the philosophical significance of Lewis's defense of Humean supervenience. Humean supervenience says that in a world like ours, the fundamental properties are local qualities: perfectly natural intrinsic properties of points, or of point‐sized occupants of points. (shrink)

Higher-order evidence is evidence about what is rational to think in light of your evidence. Many have argued that it is special – falling into its own evidential category, or leading to deviations from standard rational norms. But it is not. Given standard assumptions, almost all evidence is higher-order evidence.

BioPortal is a Web portal that provides access to a library of biomedical ontologies and terminologies developed in OWL, RDF(S), OBO format, Protégé frames, and Rich Release Format. BioPortal functionality, driven by a service-oriented architecture, includes the ability to browse, search and visualize ontologies (Figure 1). The Web interface also facilitates community-based participation in the evaluation and evolution of ontology content.

In previous work I’ve defended an interest-relative theory of belief. This paper continues the defence. It has four aims. -/- 1. To offer a new kind of reason for being unsatis ed with the simple Lockean reduction of belief to credence. 2. To defend the legitimacy of appealing to credences in a theory of belief. 3. To illustrate the importance of theoretical, as well as practical, interests in an interest-relative account of belief. 4. To revise my account to cover propositions (...) that are practically and theoretically irrelevant to the agent. (shrink)

The present paper aims to validate our research on human–humanoid interaction (HHI) using the minimalist humanoid robot Telenoid. We conducted the human–robot interaction test with 142 young people who had no prior interaction experience with this robot. The main goal is the analysis of the two social dimensions (‘‘Perception’’ and ‘‘Believability’’) useful for increasing the natural behaviour between users and Telenoid.Weadministered our custom questionnaire to human subjects in association with a well defined experimental setting (‘‘ordinary and goal-guided task’’). A thorough (...) analysis of the questionnaires has been carried out and reliability and internal consistency in correlation between the multiple items has been calculated. Our experimental results show that the perceptual behaviour and believability, as implicit social competences, could improve the meaningfulness and the natural-like sense of human–humanoid interaction in everyday life task-driven activities. Telenoid is perceived as an autonomous cooperative agent for a shared environment by human beings. (shrink)

Our politics are increasingly polarised. Polarisation takes many forms. One is increasing clustering or 'ideological consistency,' whereby people hold down-the-line liberal or down-the-line conservative views on a wide range of political issues, even when those issues are orthogonal to each other. Some philosophers think that such clustering is indicative of irrationality, and so if you find yourself in one of several clusters of opinion, you should decrease your confidence that all your political beliefs are true. I argue that the reverse (...) is true, presenting a simple model of belief-formation on which finding yourself in one of several clusters of opinion on orthogonal issues should increase, rather than decrease, your confidence that all your beliefs are true. (shrink)

Are slurring statements, when applied to members of the slurred group, true, false, or a little bit of both? Intuitions are mixed. And investigating more truth-value judgments is unlikely to cure the stalemate we find ourselves in. Truth-value judgments are just not up to the task. In their place, I propose we look to judgments of lying instead. This change in focus provides a new and better tool for understanding the complex semantics and pragmatics of slurs. As I argue, it (...) also suggests that slurring statements encode, conventionally implicate and presuppose the same information as statements with the slur's neutral counterpart. I then briefly apply this style of argument to the semantics and pragmatics of evaluative language more generally. (shrink)

Historically, laws and policies to criminalize drug use or possession were rooted in explicit racism, and they continue to wreak havoc on certain racialized communities. We are a group of bioethicists, drug experts, legal scholars, criminal justice researchers, sociologists, psychologists, and other allied professionals who have come together in support of a policy proposal that is evidence-based and ethically recommended. We call for the immediate decriminalization of all so-called recreational drugs and, ultimately, for their timely and appropriate legal regulation. We (...) also call for criminal convictions for nonviolent offenses pertaining to the use or possession of small quantities of such drugs to be expunged, and for those currently serving time for these offenses to be released. In effect, we call for an end to the “war on drugs.”. (shrink)

A common argument for favouring Evidential Decision Theory (EDT) over Causal Decision Theory (CDT) is that EDT has predictably higher expected returns in Newcomb Problems. But this doesn’t show much. For almost any pair of theories you can come up with cases where one does, on average, better than the other. Here I describe a case involving dynamic choice where EDT predictably does worse than CDT.

Keith DeRose has argued that the two main problems facing subject-sensitive invariantism come from the appropriateness of certain third-person denials of knowledge and the inappropriateness of now you know it, now you don't claims. I argue that proponents of SSI can adequately address both problems. First, I argue that the debate between contextualism and SSI has failed to account for an important pragmatic feature of third-person denials of knowledge. Appealing to these pragmatic features, I show that straightforward third-person denials are (...) inappropriate in the relevant cases. And while there are certain denials that are appropriate, they pose no problems for SSI. Next, I offer an explanation, compatible with SSI, of the oddity of now you know it, now you don't claims. To conclude, I discuss the intuitiveness of purism, whose rejection is the source of many problems for SSI. I propose to explain away the intuitiveness of purism as a side-effect of the narrow focus of previous epistemological inquiries. (shrink)

Recently, the relationship between evolutionary ecology and perceptual science has received renewed attention under perception-mediated selection, a mode of natural selection linking perceptual saliency, rather than veridicality, to fitness. The Interface Theory of Perception (ITP) has been especially prominent in claiming that an organism’s perceptual interface is populated by icons, which arise as a function of evolved, species-specific perceptual interfaces that produce approximations of organisms’ environments through fitness-tuned perceptions. According to perception-mediated selection, perception and behavior calibrate one another as organisms’ (...) capacities to experience and know the objects and properties of their environments lead to responses highlighting certain environmental features selected for survival. We argue this occurs via the Umwelt/Umgebung distinction in ethology, demonstrating that organisms interact with their external environments (Umgebung) through constructed perceptual schema (Umwelt) that produce constrained representations of environmental objects and their properties. Following Peircean semiotics, we claim that ITP’s focus on icons as saliency-simplified markers corresponds to biosemiotics’ understanding of perceptual representations, which manifest as iconic (resembling objects), indexical (referring), or symbolic (arbitrary) modalities, which provide for organisms’ semiotic scaffolding. We argue that ITP provides the computational evidence for biosemiotics’ notion of iconicity, while biosemiotics provides explanation within ITP for how iconicity can build up into indices and symbols. The common contention of these separate frameworks that the process of perception tracks saliency rather than veridicality suggests that digital/dyadic perceptual strategies will be outcompeted by their semiotic/triadic counterparts. This carries implications for evolutionary theory as well as theories of cognition. (shrink)

Predictive algorithms are playing an increasingly prominent role in society, being used to predict recidivism, loan repayment, job performance, and so on. With this increasing influence has come an increasing concern with the ways in which they might be unfair or biased against individuals in virtue of their race, gender, or, more generally, their group membership. Many purported criteria of algorithmic fairness concern statistical relationships between the algorithm’s predictions and the actual outcomes, for instance requiring that the rate of false (...) positives be equal across the relevant groups. We might seek to ensure that algorithms satisfy all of these purported fairness criteria. But a series of impossibility results shows that this is impossible, unless base rates are equal across the relevant groups. What are we to make of these pessimistic results? I argue that none of the purported criteria, except for a calibration criterion, are necessary conditions for fairness, on the grounds that they can all be simultaneously violated by a manifestly fair and uniquely optimal predictive algorithm, even when base rates are equal. I conclude with some general reflections on algorithmic fairness. (shrink)

A recent paper by Tom Stern suggests that Socrates’s philosophical psychology, which emphasizes rational reflection, is superior to Nietzsche’s drive model when explaining human behavior. I argue that Stern’s analysis is wrong on three fronts. First, the models share common, though inverted, features. Second, Stern fails to consider the role of Socrates’s daimon when evaluating Socrates’s philosophy of mind; third, Nietzsche’s model is more warranted. In sum, Nietzsche’s philosophical psychology is a correction of the Socratic.

This paper presents a unified theory of reality, which integrates two interdependent frameworks: Cellular Primary Consciousness Theory (CPCT) and Open and Closed Systems Theory (OCST). Although CPCT and OCST can each stand as individual theories, they are, in this work, combined to form a cohesive explanation of both the mechanics and purpose of the universe. CPCT posits that consciousness is a fundamental aspect of all life, extending to even the simplest cells, rather than being an emergent property exclusive to complex (...) neural systems. Drawing upon evidence from quantum mechanics, cell biology, and systems theory, CPCT challenges traditional views on the origins of consciousness by suggesting that awareness is a universal property present from the cellular level. OCST, which forms the second component of this unified theory, examines the nature of the universe as a closed system subject to the laws of entropy. This theory explores how the universe is moving toward maximum entropy, where meaning and contrasts dissolve. However, beyond this closed system lies the realm of an open system—a domain of infinite potential that transcends the dualities and limitations of the physical universe. This open system offers a philosophical explanation for existence and the possibility of eternal meaning. Together, these two theories provide a novel and cohesive framework that addresses both the mechanics of consciousness and the ultimate purpose of the universe. The integration of CPCT and OCST bridges scientific evidence from quantum biology and systems theory with philosophical explorations of existence, presenting a comprehensive vision of reality as both a closed physical system and an open metaphysical one. This unified theory encourages a reexamination of our place in the cosmos, suggesting that beyond the observable universe lies an infinite realm of potential where consciousness and meaning endure. (shrink)

The Equal Weight View of disagreement says that if an agent sees that an epistemic peer disagrees with her about p, the agent should change her credence in p to half way between her initial credence, and the peer’s credence. But it is hard to believe the Equal Weight View for a surprising reason; not everyone believes it. And that means that if one did believe it, one would be required to lower one’s belief in it in light of this (...) peer disagreement. Brian Weatherson explores the options for how a proponent of the Equal Weight View might respond to this difficulty, and how this challenge fits into broader arguments against the Equal Weight View. (shrink)

Intuitively, Gettier cases are instances of justified true beliefs that are not cases of knowledge. Should we therefore conclude that knowledge is not justified true belief? Only if we have reason to trust intuition here. But intuitions are unreliable in a wide range of cases. And it can be argued that the Gettier intuitions have a greater resemblance to unreliable intuitions than to reliable intuitions. Whats distinctive about the faulty intuitions, I argue, is that respecting them would mean abandoning a (...) simple, systematic and largely successful theory in favour of a complicated, disjunctive and idiosyncratic theory. So maybe respecting the Gettier intuitions was the wrong reaction, we should instead have been explaining why we are all so easily misled by these kinds of cases. (shrink)

I defend normative externalism from the objection that it cannot account for the wrongfulness of moral recklessness. The defence is fairly simple—there is no wrong of moral recklessness. There is an intuitive argument by analogy that there should be a wrong of moral recklessness, and the bulk of the paper consists of a response to this analogy. A central part of my response is that if people were motivated to avoid moral recklessness, they would have to have an unpleasant sort (...) of motivation, what Michael Smith calls “moral fetishism”. (shrink)

I consider the problem of how to derive what an agent believes from their credence function and utility function. I argue the best solution of this problem is pragmatic, i.e. it is sensitive to the kinds of choices actually facing the agent. I further argue that this explains why our notion of justified belief appears to be pragmatic, as is argued e.g. by Fantl and McGrath. The notion of epistemic justification is not really a pragmatic notion, but it is being (...) applied to a pragmatically defined concept, i.e. belief. (shrink)

I advocate Time-Slice Rationality, the thesis that the relationship between two time-slices of the same person is not importantly different, for purposes of rational evaluation, from the relationship between time-slices of distinct persons. The locus of rationality, so to speak, is the time-slice rather than the temporally extended agent. This claim is motivated by consideration of puzzle cases for personal identity over time and by a very moderate form of internalism about rationality. Time-Slice Rationality conflicts with two proposed principles of (...) rationality, Conditionalization and Reflection. Conditionalization is a diachronic norm saying how your current degrees of belief should fit with your old ones, while Reflection is a norm enjoining you to defer to the degrees of belief that you expect to have in the future. But they are independently problematic and should be replaced by improved, time-slice-centric principles. Conditionalization should be replaced by a synchronic norm saying what degrees of belief you ought to have given your current evidence and Reflection should be replaced by a norm which instructs you to defer to the degrees of belief of agents you take to be experts. These replacement principles do all the work that the old principles were supposed to do while avoiding their problems. In this way, Time-Slice Rationality puts the theory of rationality on firmer foundations and yields better norms than alternative, non-time-slice-centric approaches. (shrink)

Gossip is rarely praised. There seems little virtuous that is about talking behind someone’s back. Whether there is anything virtuous about gossip, however, depends on the kind of gossip. Some gossip is idle, but some evaluative gossip promulgates and enforces norms. When properly motivated, such gossip effects positive change in society and counts as gossiping well. The virtue of gossiping well even includes some kinds of false gossip, namely the sort that exaggerates a pre-existing trait, thereby creating a caricature of (...) a person’s character in order to establish a moral exemplar (or anti-exemplar). (shrink)

In his Principles of Philosophy, Descartes says, Finally, it is so manifest that we possess a free will, capable of giving or withholding its assent, that this truth must be reckoned among the first and most common notions which are born with us.

This paper presents a systematic approach for analyzing and explaining the nature of social groups. I argue against prominent views that attempt to unify all social groups or to divide them into simple typologies. Instead I argue that social groups are enormously diverse, but show how we can investigate their natures nonetheless. I analyze social groups from a bottom-up perspective, constructing profiles of the metaphysical features of groups of specific kinds. We can characterize any given kind of social group with (...) four complementary profiles: its “construction” profile, its “extra essentials” profile, its “anchor” profile, and its “accident” profile. Together these provide a framework for understanding the nature of groups, help classify and categorize groups, and shed light on group agency. (shrink)

Recently four different papers have suggested that the supervaluational solution to the Problem of the Many is flawed. Stephen Schiffer has argued that the theory cannot account for reports of speech involving vague singular terms. Vann McGee and Brian McLaughlin say that theory cannot, yet, account for vague singular beliefs. Neil McKinnon has argued that we cannot provide a plausible theory of when precisifications are acceptable, which the supervaluational theory needs. And Roy Sorensen argues that supervaluationism is inconsistent with (...) a directly referential theory of names. McGee and McLaughlin see the problem they raise as a cause for further research, but the other authors all take the problems they raise to provide sufficient reasons to jettison supervaluationism. I will argue that none of these problems provide such a reason, though the arguments are valuable critiques. In many cases, we must make some adjustments to the supervaluational theory to meet the posed challenges. The goal of this paper is to make those adjustments, and meet the challenges. (shrink)

This paper argues that the interest-relativity of knowledge cannot be explained by the interest-relativity of belief. The discussion starts with an argument that knowledge plays a key pair of roles in decision theory. It is then argued that knowledge cannot play that role unless knowledge is interest-relative. The theory of the interest-relativity of belief is reviewed and revised. That theory can explain some of the cases that are used to suggest knowledge is interest-relative. But it can’t explain some cases involving (...) ignorance, or mistake, about the odds at which a bet is offered. The paper ends with an argument that these cases require positing interest-relative defeaters, which affect whether an agent knows something without affecting whether she believes it, or is justified in believing it. (shrink)

Over the last two decades, William Lycan’s work on the semantics of conditionals has been distinguished by his careful attention to the connection between syntax and semantics, and more generally by his impeccable methodology. Lycan takes compositionality seriously, so he requires that the meaning of compound expressions like ‘even if’ be a combination of the constituent expressions, here ‘even’ and ‘if’. After reading his work, it’s hard to take seriously work that does not share this methodology.

Virtues are acquirable, so if intellectual humility is a virtue, it’s acquirable. But there is something deeply problematic—perhaps even paradoxical—about aiming to be intellectually humble. Drawing on Edward Slingerland’s analysis of the paradoxical virtue of wu-wei in Trying Not To Try (New York: Crown, 2014), we argue for an anti-individualistic conception of the trait, concluding that one’s intellectual humility depends upon the intellectual humility of others. Slingerland defines wu-wei as the “dynamic, effortless, and unselfconscious state of mind of a person (...) who is optimally active and effective” (Trying Not to Try, 7). Someone who embodies wu-wei inspires implicit trust, so it is beneficial to appear wu-wei. This has led to an arms race between faking wu-wei on the one hand and detecting fakery on the other. Likewise, there are many benefits to being (or seeming to be) intellectually humble. But someone who makes conscious, strategic efforts to appear intellectually humble is ipso facto not intellectually humble. Following Slingerland’s lead, we argue that there are several strategies one might pursue to acquire genuine intellectual humility, and all of these involve commitment to shared social or epistemic values, combined with receptivity to feedback from others, who must in turn have and manifest relevant intellectual virtues. In other words, other people and shared values are partial bearers of a given individual’s intellectual humility. If this is on the right track, then acquiring intellectual humility demands epistemic anti-individualism. (shrink)

This paper explores an emerging sub-field of both empirical bioethics and experimental philosophy, which has been called “experimental philosophical bioethics” (bioxphi). As an empirical discipline, bioxphi adopts the methods of experimental moral psychology and cognitive science; it does so to make sense of the eliciting factors and underlying cognitive processes that shape people’s moral judgments, particularly about real-world matters of bioethical concern. Yet, as a normative discipline situated within the broader field of bioethics, it also aims to contribute to substantive (...) ethical questions about what should be done in a given context. What are some of the ways in which this aim has been pursued? In this paper, we employ a case study approach to examine and critically evaluate four strategies from the recent literature by which scholars in bioxphi have leveraged empirical data in the service of normative arguments. (shrink)

“Love hurts”—as the saying goes—and a certain amount of pain and difficulty in intimate relationships is unavoidable. Sometimes it may even be beneficial, since adversity can lead to personal growth, self-discovery, and a range of other components of a life well-lived. But other times, love can be downright dangerous. It may bind a spouse to her domestic abuser, draw an unscrupulous adult toward sexual involvement with a child, put someone under the insidious spell of a cult leader, and even inspire (...) jealousy-fueled homicide. How might these perilous devotions be diminished? The ancients thought that treatments such as phlebotomy, exercise, or bloodletting could “cure” an individual of love. But modern neuroscience and emerging developments in psychopharmacology open up a range of possible interventions that might actually work. These developments raise profound moral questions about the potential uses—and misuses—of such anti-love biotechnology. In this article, we describe a number of prospective love-diminishing interventions, and offer a preliminary ethical framework for dealing with them responsibly should they arise. (shrink)

Value pluralists believe in multiple dimensions of value. What does betterness along a dimension have to do with being better overall? Any systematic answer begins with the Strong Pareto principle: one thing is overall better than another if it is better along one dimension and at least as good along all others. We defend Strong Pareto from recent counterexamples and use our discussion to develop a novel view of dimensions of value, one which puts Strong Pareto on firmer footing. We (...) conclude by defending Dimensionalism, the hypothesis that overall value relations are determined solely by how things compare along value dimensions. These are first steps towards a more systematic value pluralism. (shrink)

It has been argued recently that dogmatism in epistemology is incompatible with Bayesianism. That is, it has been argued that dogmatism cannot be modelled using traditional techniques for Bayesian modelling. I argue that our response to this should not be to throw out dogmatism, but to develop better modelling techniques. I sketch a model for formal learning in which an agent can discover a posteriori fundamental epistemic connections. In this model, there is no formal objection to dogmatism.

I defend counterfactual decision theory, which says that you should evaluate an action in terms of which outcomes would likely obtain were you to perform it. Counterfactual decision theory has traditionally been subsumed under causal decision theory as a particular formulation of the latter. This is a mistake. Counterfactual decision theory is importantly different from, and superior to, causal decision theory, properly so called. Causation and counterfactuals come apart in three kinds of cases. In cases of overdetermination, an action can (...) cause a good outcome without the latter counterfactually depending on the former. In cases of constitution, an action can constitute a good outcome rather than causing it. And in cases of determinism, either the laws or the past counterfactually depend on your action, even though your action cannot cause the laws or the past to be different. In each of these cases, it is counterfactual decision theory which gives the right verdict, and for the right reasons. (shrink)

In his insightful and challenging paper, Jonathan Schaffer argues against a distinction I make in The Ant Trap (Epstein 2015) and related articles. I argue that in addition to the widely discussed “grounding” relation, there is a different kind of metaphysical determination I name “anchoring.” Grounding and anchoring are distinct, and both need to be a part of full explanations of how facts are metaphysically determined. Schaffer argues instead that anchoring is a species of grounding. The crux of his argument (...) comes in the last sections of his paper, in his discussion of “exportation,” the relations strategy, and the definitions strategy. I am inclined to agree that Schaffer’s interesting strategies offer the best choices for the philosopher who wants to insist that anchoring is a species of grounding. But both, I will argue, are fatally flawed. I do not take the separation of anchors from grounds lightly, but find the evidence in its favor overwhelming. And once the distinction is made, I find anchoring to be a powerful practical tool in metaphysics. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 768-781, November 2019. (shrink)

Intelligent activity requires the use of various intellectual skills. While these skills are connected to knowledge, they should not be identified with knowledge. There are realistic examples where the skills in question come apart from knowledge. That is, there are realistic cases of knowledge without skill, and of skill without knowledge. Whether a person is intelligent depends, in part, on whether they have these skills. Whether a particular action is intelligent depends, in part, on whether it was produced by an (...) exercise of skill. These claims promote a picture of intelligence that is in tension with a strongly intellectualist picture, though they are not in tension with a number of prominent claims recently made by intellectualists. (shrink)

Many consequentialists argue that you ought to do your part in collective action problems like climate change mitigation and ending factory farming because (i) all such problems are triggering cases, in which there is a threshold number of people such that the outcome will be worse if at least that many people act in a given way than if fewer do, and (ii) doing your part in a triggering case maximises expected value. I show that both (i) and (ii) are (...) false: Some triggering cases cannot be solved by appeal to expected value, since they involve infinities, and some collective action problems are not triggering cases, since they involve parity. However, I argue that consequentialism can still generally prohibit failure to do your part in those collective action problems where we believe that so acting would be impermissible. (shrink)

This paper develops a new argument from consciousness to theism: the argument from psychophysical harmony. Roughly, psychophysical harmony consists in the fact that phenomenal states are correlated with physical states and with one another in strikingly fortunate ways. For example, phenomenal states are correlated with behavior and functioning that is justified or rationalized by those very phenomenal states, and phenomenal states are correlated with verbal reports and judgments that are made true by those very phenomenal states. We argue that psychophysical (...) harmony is strong evidence for theism (or, at least, strong evidence against atheism in its standard naturalistic form). (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself didn't make use (...) of this notation in his series of groundbreaking papers on semantics. That raises the question: When was the ⟦.⟧-notation introduced to semantics? This note answers that question. (shrink)

I set out and defend a view on indicative conditionals that I call “indexical relativism ”. The core of the view is that which proposition is expressed by an utterance of a conditional is a function of the speaker’s context and the assessor’s context. This implies a kind of relativism, namely that a single utterance may be correctly assessed as true by one assessor and false by another.

We typically have to act under uncertainty. We can be uncertain about the relevant descriptive facts, but also about the relevant normative facts. However, the search for a theory of decision-making under normative uncertainty is doomed to failure. First, the most natural proposal for what to do given normative uncertainty faces two devastating problems. Second, the motivations for wanting a theory of what to do given descriptive uncertainty do not carry over to normative uncertainty. Descriptive facts may be inaccessible even (...) in principle, and ignorance of them excuses one from blame, but normative facts are in principle accessible, and ignorance of them arguably is no excuse. Normative facts differ from descriptive facts: normative facts affect what we ought to do no matter what, while descriptive facts affect what we ought to do only insofar as we are aware of them. (shrink)